Study of tooling concepts for manufacturing operations in space Final report

Mechanical linkage device for manufacturing operations with orbital workshop

The static and dynamic conductivity of warm dense Aluminum and Gold calculated within a density functional approach

The static resistivity of dense Al and Au plsmas are calculated where all the needed inputs are obtained from density functional theory (DFT). This is used as input for a study of the dynamic conductivity. These calculations involve a self-consistent determination of (i) the equation of state (EOS) and the ionization balance, (ii) evaluation of the ion-ion, and ion-electron pair-distribution functions, (iii) Determination of the scattering amplitudes, and finally the conductivity. We present data for the static resistivity of Al for compressions 0.1-2.0, and in the temperature range T= 0.1 - 10 eV. Results for Au in the same temperature range and for compressions 0.1-1.0 is also given. In determining the dynamic conductivity for a range of frequencies consistent with standard laser probes, a knowledge of the electronic eigenstates and occupancies of Al- or Au plasma becomes necessary. They are calculated using a neutral-pseudoatom model. We examine a number of first-principles approaches to the optical conductivity, including many-body perturbation theory, molecular-dynamics evaluations, and simplified time-dependent DFT. The modification to the Drude conductivity that arises from the presence of shallow bound states in typical Al-plasmas is examined and numerical results are given at the level of the Fermi Golden rule and an approximate form of time-dependent DFT.Comment: 5 figures, Latex original. Cross-referencced to PLASMA PHYSIC

Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Importance of cooling in triggering the collapse of hypermassive neutron stars

The inspiral and merger of a binary neutron star (NSNS) can lead to the formation of a hypermassive neutron star (HMNS). As the HMNS loses thermal pressure due to neutrino cooling and/or centrifugal support due to gravitational wave (GW) emission, and/or magnetic breaking of differential rotation it will collapse to a black hole. To assess the importance of shock-induced thermal pressure and cooling, we adopt an idealized equation of state and perform NSNS simulations in full GR through late inspiral, merger, and HMNS formation, accounting for cooling. We show that thermal pressure contributes significantly to the support of the HMNS against collapse and that thermal cooling accelerates its "delayed" collapse. Our simulations demonstrate explicitly that cooling can induce the catastrophic collapse of a hot hypermassive neutron star formed following the merger of binary neutron stars. Thus, cooling physics is important to include in NSNS merger calculations to accurately determine the lifetime of the HMNS remnant and to extract information about the NS equation of state, cooling mechanisms, bar instabilities and B-fields from the GWs emitted during the transient phase prior to BH formation.Comment: 13 pages, 7 figures, matches published versio

Galaxies at z=4 and the Formation of Population II

We report the discovery of four high-redshift objects (3.3 < z < 4) observed behind the rich cluster CL0939+4713 (Abell 851). One object (DG 433) has a redshift of z=3.3453; the other three objects have redshifts of z\approx 4: A0 at z=3.9819, DG 353 and P1/P2 at z=3.9822. It is possible that all four objects are being lensed in some way by the cluster, DG 433 being weakly sheared, A0 being strongly sheared, and DG 353 and P1/P2 being an image pair of a common source object; detailed modelling of the cluster potential will be necessary to confirm this hypothesis. The weakness of common stellar wind features like N V and especially C IV in the spectra of these objects argues for sub-solar metallicities, at least as low as the SMC. DG 353 and DG 433, which have ground-based colors, are moderately dusty [E_{int}(B-V) < 0.15], similar to other z>3 galaxies. Star formation rates range from 2.5 (7.8) h^{-2} to 22. (78.) h^{-2} M_{\odot}/yr, for q_0=0.5 (0.05), depending on assumptions about gravitational lensing and extinction, also typical of other z>3 galaxies. These objects are tenatively identified as the low-metallicity proto-spheroid clumps that will merge to form the Population II components of today's spheroids.Comment: 16 pages, including 2 PostScript figures. Needs aaspp4.sty (included). Accepted for publication in the Astrophysical Journa

Spatially resolved kinematics in the central 1 kpc of a compact star-forming galaxy at z=2.3 from ALMA CO observations

We present high spatial resolution (FWHM$\sim$0.14'') observations of the CO($8-7$) line in GDS-14876, a compact star-forming galaxy at $z=2.3$ with total stellar mass of $\log(M_{\star}/M_{\odot})=10.9$. The spatially resolved velocity map of the inner $r\lesssim1$~kpc reveals a continous velocity gradient consistent with the kinematics of a rotating disk with $v_{\rm rot}(r=1\rm kpc)=163\pm5$ km s$^{-1}$ and $v_{\rm rot}/\sigma\sim2.5$. The gas-to-stellar ratios estimated from CO($8-7$) and the dust continuum emission span a broad range, $f^{\rm CO}_{\rm gas}=M_{\rm gas}/M_{\star}=13-45\%$ and $f^{\rm cont}_{\rm gas}=50-67\%$, but are nonetheless consistent given the uncertainties in the conversion factors. The dynamical modeling yields a dynamical mass of$\log(M_{\rm dyn}/M_{\odot})=10.58^{+0.5}_{-0.2}$ which is lower, but still consistent with the baryonic mass, $\log$(M$_{\rm bar}$= M$_{\star}$ + M$^{\rm CO}_{\rm gas}$/M$_{\odot}$)$=11.0$, if the smallest CO-based gas fraction is assumed. Despite a low, overall gas fraction, the small physical extent of the dense, star-forming gas probed by CO($8-7$), $\sim3\times$ smaller than the stellar size, implies a strong concentration that increases the gas fraction up to $f^{\rm CO, 1\rm kpc}_{\rm gas}\sim 85\%$ in the central 1 kpc. Such a gas-rich center, coupled with a high star-formation rate, SFR$\sim$ 500 M$_{\odot}$ yr$^{-1}$, suggests that GDS-14876 is quickly assembling a dense stellar component (bulge) in a strong nuclear starburst. Assuming its gas reservoir is depleted without replenishment, GDS-14876 will quickly ($t_{\rm depl}\sim27$ Myr) become a compact quiescent galaxy that could retain some fraction of the observed rotational support.Comment: Accepted for Publication in ApJL. Kinematic maps are shown in Figures 2 and

Characterizing normal crossing hypersurfaces

The objective of this article is to give an effective algebraic characterization of normal crossing hypersurfaces in complex manifolds. It is shown that a hypersurface has normal crossings if and only if it is a free divisor, has a radical Jacobian ideal and a smooth normalization. Using K. Saito's theory of free divisors, also a characterization in terms of logarithmic differential forms and vector fields is found and and finally another one in terms of the logarithmic residue using recent results of M. Granger and M. Schulze.Comment: v2: typos fixed, final version to appear in Math. Ann.; 24 pages, 2 figure

General Relativistic Binary Merger Simulations and Short Gamma Ray Bursts

The recent localization of some short-hard gamma ray bursts (GRBs) in galaxies with low star formation rates has lent support to the suggestion that these events result from compact object binary mergers. We discuss how new simulations in general relativity are helping to identify the central engine of short-hard GRBs. Motivated by our latest relativistic black hole-neutron star merger calculations, we discuss a scenario in which these events may trigger short-hard GRBs, and compare this model to competing relativistic models involving binary neutron star mergers and the delayed collapse of hypermassive neutron stars. Distinguishing features of these models may help guide future GRB and gravitational wave observations to identify the nature of the sources.Comment: 5 Pages, 3 figures, accepted by ApJ Let